Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
491	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 10 Self-stabilizing Distributed Constraint Satisfaction ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2000-02-21 01:31:44 Computing Local consistency Constraint satisfaction Self-stabilization Distributed computing Constraint graph Scheduling Backtracking Search algorithm Constraint programming Software engineering Computer programming
492	SWI-Prolog version 7 extensions Jan Wielemaker Web and Media group, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands, Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2014-07-12 11:46:12 Constraint programming Formal languages Prolog Logic programming Logtalk Definite clause grammar ECLiPSe Unification String Software engineering Computing Computer programming
493	Specification of FlatZinc Version 1.6 Ralph Becket 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types C programming language C syntax Source code Array data type Literal ATS Declaration Constraint programming Software engineering Computer programming Computing
494	Syntactic integration of external languages in Prolog Jan Wielemaker1 and Nicos Angelopoulos2 1 Web and Media group, VU University Amsterdam, De Boelelaan 1081a, Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2013-05-25 07:00:08 Constraint programming Prolog JSON Logic programming Programming language JavaScript SQL Operator Logtalk Computing Software engineering Computer programming
495	Converting MiniZinc to FlatZinc Version 1.1 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-08-26 04:03:22 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing
496	An overview of recent algorithms for AI planning Jussi Rintanen and J¨org Hoffmann Albert-Ludwigs-Universit¨at Freiburg, Institut f¨ur Informatik Georges-K¨ohler-Allee, 79110 Freiburg im Breisgau Germany Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-09 13:07:17 Logic in computer science Constraint programming Year of birth missing Heuristics Graphplan Action selection Planner Drew McDermott Logic programming Artificial intelligence Automated planning and scheduling Theoretical computer science
497	Decidability of Systems of Set Constraints with Negative Constraints Alexander Aikeny University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:09:24 Artificial intelligence Decomposition method Constraint logic programming Constraint programming Boolean algebra Mathematics
498	An Architecture for Making Object-Oriented Systems Available from Prolog Jan Wielemaker and Anjo Anjewierden Social Science Informatics (SWI), University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2015-04-03 07:57:28 Constraint programming Prolog ECLiPSe Exception handling Visual Prolog Logtalk Software engineering Computer programming Computing
499	A modern eye on ML type inference – Old techniques and recent developments – Franc¸ois Pottier INRIA September 2005 Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-01-26 09:13:38 Computing Type inference Type system Lambda calculus Constraint programming Hindley–Milner Generalized algebraic data type Constraint satisfaction Standard ML Software engineering Programming language theory Type theory
500	Precise Garbage Collection in Prolog Jan Wielemaker1 and Ulrich Neumerkel2 1 Universiteit van Amsterdam, The Netherlands Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2009-08-27 10:41:37 Constraint programming Prolog Logic programming ECLiPSe Garbage collection Env Unification Calling convention YAP Computing Software engineering Computer programming

UPDATE